Статья 9215

Название статьи

ОЦЕНКИ ДЛИН ПРОВЕРЯЮЩИХ И ДИАГНОСТИЧЕСКИХ ТЕСТОВ ДЛЯ КОНТАКТОВ 

Авторы

Попков Кирилл Андреевич, аспирант, Московский государственный университет имени М. В. Ломоносова (Россия, г. Москва, Ленинские горы, 1), kirill-formulist@mail.ru

Индекс УДК

519.718.7

Аннотация

Актуальность и цели. Рассматриваются задачи проверки исправности и диагностики состояний N контактов путем составления из них двухполюсных контактных схем и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности контактов; при этом предполагается, что не более k контактов неисправны (k – заданное натуральное число, не превосходящее N). Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех контактов.
Материалы и методы. Используется метод «забивания» контактных схем такими неисправностями контактов, при которых каждая из схем реализует булеву константу.
Результаты. Получены нижние оценки k/[sqrt(N)] и k/(N – k) для числа указанных схем. В случаях k = N – 1 и k = N найдены точные значения этого числа.
Выводы. Для проверки исправности и диагностики состояний контактов невозможно обойтись схемами, число которых меньше некоторых фиксированных чисел, зависящих от N и k.

Ключевые слова

контакт, неисправность, контактная схема, проверяющий тест, диагностический тест.

Скачать статью в формате PDF
Список литературы

1. Гаврилов, М. А. Теория релейно-контактных схем / М. А. Гаврилов. – М. ; Л.,1950. – 304 с.
2. Колдуэлл, С. Логический синтез релейных устройств / С. Колдуэлл. – М.,1962. – 440 с.
3. Лупанов, О. Б. Асимптотические оценки сложности управляющих систем / О. Б. Лупанов. – М. : Изд-во МГУ, 1984. – 138 с.
4. Попков, К. А. Диагностика состояний контактов / К. А. Попков // Дискретная математика. – 2013. – Т. 25, № 4. – С. 30–40.

 

Дата создания: 31.07.2015 11:48
Дата обновления: 20.10.2015 15:01